We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

People maintain a positive identity in at least two ways: They evaluate themselves more favorably than other people, and they judge themselves to be better now than they were in the past. Both strategies rely on autobiographical memories. The authors investigate the role of autobiographical memories of lying and emotional harm in maintaining a positive identity. For memories of lying to or emotionally harming others, participants judge their own actions as less morally wrong and less negative than those in which (...) other people lied to or emotionally harmed them. Furthermore, people judge those actions that happened further in the past to be more morally wrong than those that happened more recently. Finally, for periods of the past when they believed that they were very different people than they are now, participants judge their actions to be more morally wrong and more negative than those actions from periods of their pasts when they believed that they were very similar to who they are now. The authors discuss these findings in relation to theories about the function of autobiographical memory and moral cognition in constructing and perceiving the self over time. (shrink)

This paper provides new tools for philosophical argument analysis and fresh empirical foundations for ‘critical’ ordinary language philosophy. Language comprehension routinely involves stereotypical inferences with contextual defeaters. J.L. Austin’s Sense and Sensibilia first mooted the idea that contextually inappropriate stereotypical inferences from verbal case-descriptions drive some philosophical paradoxes; these engender philosophical problems that can be resolved by exposing the underlying fallacies. We build on psycholinguistic research on salience effects to explain when and why even perfectly competent speakers cannot help making (...) stereotypical inferences which are contextually inappropriate. We analyse a classical paradox about perception, suggest it relies on contextually inappropriate stereotypical inferences from appearance-verbs, and show that the conditions we identified as leading to contextually inappropriate stereotypical inferences are met in formulations of the paradox. Three experiments use a forced-choice plausibility-ranking task to document the predicted inappropriate inferences, in English, German, and Japanese. The cross-linguistic study allows us to assess the wider relevance of the proposed analysis. Our findings open up new perspectives for ‘evidential’ experimental philosophy. (shrink)

The psychological contract refers to the implicit and subjective beliefs regarding a reciprocal exchange agreement, predominantly examined between employees and employers. While contemporary contract research is investigating a wider range of exchanges employees may hold, such as with team members and clients, it remains silent on a rapidly emerging form of workplace relationship: employees’ increasing engagement with technically, socially, and emotionally sophisticated forms of artificially intelligent (AI) technologies. In this paper we examine social robots (also termed humanoid robots) as likely (...) future psychological contract partners for human employees, given these entities transform notions of workplace technology from being a tool to being an active partner. We first overview the increasing role of robots in the workplace, particularly through the advent of sociable AI, and synthesize the literature on human–robot interaction. We then develop an account of a human-social robot psychological contract and zoom in on the implications of this exchange for the enactment of reciprocity. Given the future focused nature of our work we utilize a thought experiment, a commonly used form of conceptual and mental model reasoning, to expand on our theorizing. We then outline potential implications of human-social robot psychological contracts and offer a range of pathways for future research. (shrink)

According to cognitive psychologists, moral decision-making is a dual-process phenomenon involving two types of cognitive processes: explicit reasoning and implicit intuition. Moral development involves training and integrating both types of cognitive processes through a mix of instruction, practice, and reflection. Serious games are an ideal platform for this kind of moral training, as they provide safe spaces for exploring difficult moral problems and practicing the skills necessary to resolve them. In this article, we present Morality Play, a model for the (...) design of serious games for ethical expertise development based on the Integrative Ethical Education framework from moral psychology and the Lens of the Toy model for serious game design. (shrink)

Several areas of welfare economics seek to evaluate states of affairs as a function of interpersonally comparable individual utilities. The aim is to map each state of affairs onto a vector of individual utilities, and then to produce an ordering of these vectors that can be represented by a mathematical function assigning a real number to each. When this approach is used in intertemporal contexts, a central theoretical question concerns the evaluative weight to be applied to utility coming at different (...) times. This question concerns the rate of pure time preference, which is one key determinant of the social discount rate. This article argues that the standard philosophical account of pure time preference is mistaken, because it ascribes to economists a methodological commitment they need not, and often do not, accept. This in turn undercuts the most common philosophical objection to pure time preference, which traces at least to Rawls’s A Theory of Justice. The article then evaluates three further objections to pure time preference, concluding that it might still be defensible under certain circumstances. The article closes by articulating a final argument that is suggested by the “Social, Economic and Ethical Concepts and Methods” chapter of the most recent Intergovernmental Panel on Climate Change report. If this further argument is sound, it would constitute a decisive objection to pure time preference as it currently figures in much intertemporal welfare economics. (shrink)

Psycholinguistic methods hold great promise for experimental philosophy. Many philosophical thought experiments and arguments proceed from verbal descriptions of possible cases. Many relevant intuitions and conclusions are driven by spontaneous inferences about what else must also be true in the cases described. Such inferences are continually made in language comprehension and production. This chapter explains how methods from psycholinguistics can be employed to study such routine automatic inferences, with a view to assessing intuitions and reconstructing arguments. We demonstrate how plausibility (...) ratings, pupillometry, and reading time measurements can be used to examine hypotheses about automatic inferences in speech and text comprehension. Two experiments on inferences from polysemous (perception-)verbs provide evidence of a potentially consequential ‘salience bias’. Findings help assess intuitions about unusual cases and analyse a philosophical paradox (‘argument from hallucination’). The paper thus illustrates how we can adapt psycholinguistic methods for philosophical purposes and demonstrates the methods’ philosophical usefulness. (shrink)

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way its last (...) two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

It is still a live question in epistemology and philosophy of science as to what exactly evidence is. In my view, evidence consists in experiences called “seemings.” This view is a version of the phenomenal conception of evidence, the position that evidence consists in nonfactive mental states with propositional content. This conception is opposed by sense-data theorists, disjunctivists, and those who think evidence consists in physical objects or publicly observable states of affairs—call it the courtroom conception of evidence. Thomas Kelly (...) has recently argued that the phenomenal conception cannot play all the roles evidence plays and is thus inadequate. Having first explained the nature of seemings, in this essay I utilize Kelly’s own understanding of the four major roles of evidence and argue that the phenomenal conception can play each one. Experience is a good candidate for evidence. (shrink)

In this paper, we discuss three probabilistic arguments for the existence of multiple universes. First, we provide an analysis of total evidence and use that analysis to defend Roger White's "this universe" objection to a standard fine-tuning argument for multiple universes. Second, we explain why Rodney Holder's recent cosmological argument for multiple universes is unconvincing. Third, we develop a "Cartesian argument" for multiple universes. While this argument is not open to the objections previously noted, we show that, given certain highly (...) plausible assumptions about evidence and epistemic probability, the proposition which it treats as evidence cannot coherently be regarded as evidence for anything. This raises the question of whether to reject the assumptions or accept that such a proposition cannot be evidence. (shrink)

Quel est le rôle de Galilée dans la naissance séculaire de la science moderne? Je réponds à la question ci-dessus à la lumière de deux nouveaux éléments. Dès le xvie siècle, Nicolas de Cues, quoiqu’il ne pratiquât pas la science expérimentale, a anticipé une partie substantielle de la révolution copernicienne et de la naissance de la méthodologie galiléenne. Le deuxième élément est l’introduction d’une nouvelle conception des fondements de la science ; ils sont définis comme constitués de trois dialectiques. Après (...) cette définition, la naissance de la science moderne correspond à un très long processus historique qui se conclut à notre époque. Sur cette longue période, Galilée ne fut pas seulement le premier à recourir à une méthodologie scientifique, mais aussi presque le seul à jamais avoir été conscient de l’ampleur des enjeux intellectuels de l’entreprise scientifique. (shrink)

There has been a recent surge of research interest in videogames of moral engagement for entertainment, advocacy and education. We have seen a wealth of analysis and several theoretical models proposed, but experimental evaluation has been scarce. One of the difficulties lies in the measurement of moral engagement. How do we meaningfully measure whether players are engaging with and affected by the moral choices in the games they play? In this paper, we survey the various standard psychometric instruments from the (...) moral psychology literature and discuss how they might be applied in the evaluation of games. (shrink)

I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are obtained.that.

A characterization result of dilation in terms of positive and negative association admits an extremal counterexample, which we present together with a minor repair of the result. Dilation may be asymmetric whereas covariation itself is symmetric. Dilation is still characterized in terms of positive and negative covariation, however, once the event to be dilated has been specified.

The change in the organization of science education over the past fifty years is quickly recalled. Being its cultural bound the lack of a conception of the foundation of science, the multiple innovations have resulted as temporary improvements without a clear direction, apart from the technocratic goal of an automation of learning processes. The discovery of two dichotomies as the foundations of science suggests a pluralist conception of science, and hence the need to entirely renew science education, in particular by (...) introducing the notions of incommensurability and radical variations in meaning of the basic notions. This change was already anticipated by several proposals within each subject-matter. (shrink)

The basing demand on doxastic justification is a widely held and highly intuitive dogma of contemporary epistemology. In Silva [2015, AJP], I argued that the dialectical significance of this dogma is severely limited by our lack of independent grounds for endorsing it. Oliveira [2015, AJP] sought to defend the basing demand on doxastic justification. Here I explain why Oliveira’s attempted defense of the basing demand misses its mark. I also briefly suggest that there is an alternative way of defending the (...) basing demand. The alternative way is reconciliatory: it shows that most epistemologists may have been right to insist on such a demand, but perhaps still wrong to treat it as a dialectically powerful tool in the assessment of certain substantive epistemological theories. (shrink)

Recent work by Brian Skyrms offers a very general way to think about how information flows and evolves in biological networks — from the way monkeys in a troop communicate, to the way cells in a body coordinate their actions. A central feature of his account is a way to formally measure the quantity of information contained in the signals in these networks. In this paper, we argue there is a tension between how Skyrms talks of signalling networks and his (...) formal measure of information. Although Skyrms refers to both how information flows through networks and that signals carry information, we show that his formal measure only captures the latter. We then suggest that to capture the notion of flow in signalling networks, we need to treat them as causal networks. This provides the formal tools to define a measure that does capture flow, and we do so by drawing on recent work defining causal specificity. Finally, we suggest that this new measure is crucial if we wish to explain how evolution creates information. For signals to play a role in explaining their own origins and stability, they can’t just carry information about acts: they must be difference-makers for acts. (shrink)

People seem more divided than ever before over social and political issues, entrenched in their existing beliefs and unwilling to change them. Empirical research on mechanisms driving this resistance to belief change has focused on a limited set of well-known, charged, contentious issues and has not accounted for deliberation over reasons and arguments in belief formation prior to experimental sessions. With a large, heterogeneous sample (N = 3,001), we attempt to overcome these existing problems, and we investigate the causes and (...) consequences of resistance to belief change for five diverse and less contentious socio-political issues. After participants chose initially to support or oppose a given socio-political position, they were provided with reasons favoring their chosen position (affirming reasons), reasons favoring the other, unchosen position (conflicting reasons), or all reasons for both positions (reasons for both sides). Our results indicate that participants are more likely to stick with their initial decisions than to change them no matter which reasons are considered, and that this resistance to belief change is likely due to a motivated, biased evaluation of the reasons to support their initial beliefs (prior-belief bias). More specifically, they rated affirming reasons more favorably than conflicting reasons—even after accounting for reported prior knowledge about the issue, the novelty of the reasons presented, and the reported strategy used to make the initial decision. In many cases, participants who did not change their positions tended to become more confident in the superiority of their positions after considering many reasons for both sides. (shrink)

MethodologyA new hypothesis on the basic features characterizing the Foundations of Mathematics is suggested.Application of the methodBy means of it, the several proposals, launched around the year 1900, for discovering the FoM are characterized. It is well known that the historical evolution of these proposals was marked by some notorious failures and conflicts. Particular attention is given to Cantor's programme and its improvements. Its merits and insufficiencies are characterized in the light of the new conception of the FoM. After the (...) failures of Frege's and Cantor's programmes owing to the discoveries of an antinomy and internal contradictions, respectively, the two remaining, more radical programmes, i.e. Hilbert's and Brouwer's, generated a great debate; the explanation given here is their mutual incommensurability, defined by means of the differences in their foundational features.ResultsThe ignorance of this phenomenon explains the inconclusiveness of a century-long debate between the advocates of these two proposals. Which however have been so greatly improved as to closely approach or even recognize some basic features of the FoM.Discussion on the resultsYet, no proposal has recognized the alternative basic feature to Hilbert's main one, the deductive organization of a theory, although already half a century before the births of all the programmes this alternative was substantially instantiated by Lobachevsky's theory on parallel lines. Some conclusive considerations of a historical and philosophical nature are offered. In particular, the conclusive birth of a pluralism in the FoM is stressed. (shrink)

Can trust evolve on the Internet between virtual strangers? Recently, Pettit answered this question in the negative. Focusing on trust in the sense of ‘dynamic, interactive, and trusting’ reliance on other people, he distinguishes between two forms of trust: primary trust rests on the belief that the other is trustworthy, while the more subtle secondary kind of trust is premised on the belief that the other cherishes one’s esteem, and will, therefore, reply to an act of trust in kind (‘trust-responsiveness’). (...) Based on this theory Pettit argues that trust between virtual strangers is impossible: they lack all evidence about one another, which prevents the imputation of trustworthiness and renders the reliance on trust-responsiveness ridiculous. I argue that this argument is flawed, both empirically and theoretically. In several virtual communities amazing acts of trust between pure virtuals have been observed. I propose that these can be explained as follows. On the one hand, social cues, reputation, reliance on third parties, and participation in (quasi-) institutions allow imputing trustworthiness to varying degrees. On the other, precisely trust-responsiveness is also relied upon, as a necessary supplement to primary trust. In virtual markets, esteem as a fair trader is coveted while it contributes to building up one’s reputation. In task groups, a hyperactive style of action may be adopted which amounts to assuming (not: inferring) trust. Trustors expect that their virtual co-workers will reply in kind while such an approach is to be considered the most appropriate in cyberspace. In non-task groups, finally, members often display intimacies while they are confident someone else ‘out there’ will return them. This is facilitated by the one-to-many, asynchronous mode of communication within mailing lists. (shrink)

This paper aims to show that Lessing develops in his aesthetics a pre-Kantian philosophy of consciousness. The concept of virtuality that the german writer puts forward in his essay Laocoon implies an interweaving of temporal dimensions similar to the threefold temporal synthesis described by Kant in the transcendental deduction of the Critique of Pure Reason. But whereas Kant thematizes an a priori of consciousness, Lessing is in search of an a priori of plastic art. It will be seen that perfect (...) sculpture presupposes the choice of that moment in time which can open the imagination to the past and the future in a way that enriches the present by transforming it into a "pregnant moment". The final aim of the article is to trace the genesis of the concept of simultaneity of temporal dimensions presupposed by the idea of the pregnant moment, and its implications for the idea of the temporality of consciousness. (shrink)

I argue, contra Mohan Matthen, that at least some aesthetic pleasures arising from the appreciation of aesthetic features of artworks are what he calls ‘r-pleasures’ as opposed to ‘f-pleasures’—and moreover, that the paradigm aesthetic pleasure appears to be an r-pleasure on Matthen's terms. I then argue that talk of r- and f-pleasures does not distinguish different kinds, but two different features of pleasure; so this supposed distinction cannot be used to characterize a sui generis aesthetic pleasure.

If we accept that Kandinsky developed a systematic theory of the fundamentals of painting, we must ask what is the central concept underlying this attempt. This paper argues for the thesis that objectless vibration plays a central role in the reconstruction proposed Kandinsky’s first book, ”Concerning the Spiritual in Art”. This kind of vibration includes as a virtual field both shapes, sounds and colors. All these “fall” in an organized way from the virtual vibrations, and the purpose of abstract painting (...) is to lift the mind beyond the specific distinctions of the visible world of objects to the abstract level of primordial vibrations. The article examines the origin, functions, and the effect this concept has on color theory. (shrink)

In this paper, I shall defend two main claims. First, Friedman’s famous paper “On the methodology of positive economics” (“F53”) cannot be properly understood without taking into account the influence of three authors who are neither cited nor mentioned in the paper: Max Weber, Frank Knight, and Karl Popper. I shall trace both their substantive influence on F53 and the historical route by which this influence took place. Once one has understood these ingredients, especially Weber’s ideal types, many of F53’s (...) astonishing sentences like “the more significant the theory, the more unrealistic the assumptions”, make good sense. Second, I shall claim that the much-discussed question whether Friedman’s essay espouses an instrumentalist or a realist position, is the wrong question to be asked. I shall illustrate that by a comparison with examples from physics in which also unrealistic assumptions are made. Also there, the question whether these assumptions are indicators of instrumentalism or realism is not appropriate. Cleared from these misunderstandings, F53 presents itself as an interesting and reasonable but much less controversial contribution to the methodology of economics. (shrink)

I explain why, from the perspective of knowledge-centric anti-luck epistemology, objective act consequentialist theories of ethics imply skepticism about the moral status of our prospective actions and also tend to be self-defeating, undermining the justification of consequentialist theories themselves. For according to knowledge-centric anti-luck epistemology there are modal anti-luck demands on both knowledge and justification, and it turns out that our beliefs about the moral status of our prospective actions are almost never able to satisfy these demands if objective act (...) consequentialism is true. This kind of applied moral skepticism introduces problematic limits on our ability to use objective act consequentialism’s explanatory power as evidence for its truth. This is, in part, a product of higher-order defeat as I explain in the final section. There is, however, a silver lining for objective act consequentialists. For there is at least one type of objective act consequentialism, prior existence consequentialism, that is poised to avoid at least some of the epistemic problems discussed in this paper. (shrink)

Having positive moral traits is central to one’s sense of self, and people generally are motivated to maintain a positive view of the self in the present. But it remains unclear how people foster a positive, morally good view of the self in the present. We suggest that recollecting and reflecting on moral and immoral actions from the personal past jointly help to construct a morally good view of the current self in complementary ways. More specifically, across four studies we (...) investigated the extent to which people believe they have changed over time after recollecting their own moral or immoral behaviors from the personal past. Our results indicate that recollecting past immoral actions is associated with stronger impressions of dissimilarity and change in the sense of self over time than recollecting past moral actions. These effects held for diverse domains of morality (i.e., honesty/dishonesty, helping/harming, fairness/unfairness, and loyalty/disloyalty), and they remained even after accounting for objective, calendar time. Further supporting a motivational explanation, these effects held when people recollected their own past actions but not when they recollected the actions of other people. (shrink)

Sexual abuse of minors by Catholic priests has been a persistent and widespread problem in the Church. Although more than 80 percent of victims have been boys, prior studies have rejected the idea that the abuse is related to homosexuality among priests. Available data show, however, that the proportion of homosexual men in the priesthood is correlated almost perfectly with the percentage of male victims and with the overall incidence of abuse. Data also show that while the incidence of abuse (...) is lower today than it was three decades ago, it has not declined as much as is commonly believed, and has recently begun to rise amid signs of episcopal complacency about procedures for the protection of children. (shrink)

The report describes an application of ontologies to the analysis of wind turbine manufacturing data. We show how applying ontologies to composite materials data may facilitate the discovery of optimum composite material designs that will deliver maximum wind turbine blade performance within environmental constraints.

. Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. A generalization of the square of opposition (...) is achieved by not adjoining, according to two Leibniz’ suggestions about human mind, one more choice about the kind of infinity; i.e., a choice which was unknown by Greek’s culture, but which played a decisive role for the birth and then the development of modern science. This essential innovation of modern scientific culture explains why in modern times the Aristotelian square of opposition was disregarded. (shrink)

The book is the proceeding of a conference in Pisa 12007 on the philosophy of Lanza del Vasto - the unique Western disciple of Gandhi - examined under the items: his thesis work in Philosophy (Fabris), his Greek and Christian methaphysics (Salmeri), his criticism of Hegel (Vigne), the relationship with Gandhi (Manara), Trinity (Vermorel) Indian philosophical traditioon (Trianni), his henologixcal thinking (Reale) his trinitarian metaphysics (Bertini), his mystical thinking (Vannini) a logicaL analysis of his thinking(Drago), his philosophy and theory of (...) non-violence(Cozzo) The relationship with Catholic Church (Tanzarella), Pedagogy (Butturini), sojourn in Pisa (Lanza). (shrink)

In this essay, I describe my journey to Catholicism and explain one of the many reasons I became Catholic--namely, an argument from the canon of Scripture.

This paper discusses some ethically relevant aspects of William Nordhaus’s contribution to climate change policy evaluation. Nordhaus's approach can shed light on one—but only one—dimension of the climate change problem. His boldest claims notwithstanding, there is nothing particularly "optimal" about the temperature increases associated with his most famous modeling choices.

Thomas Kuhn explicitly states that the paradigm shift implies a change of the world. This is because the paradigm is seen as constitutive of nature itself. In this paper, I will try to interpret this thesis by inscribing Kuhn's theory in the larger Kantian theoretical framework. As the last chapter of the „Critique of pure reason” shows, Kant thought that reason is inherently historical and evolves through revolutions. This dynamical perspective on reason comes clearly to light especially in the „Appendix” (...) to the „transcendental Dialectic”, where the Idea of reason is seen as an abstract theoretical framework that makes possible and guides the understanding. It will be shown that the Kuhnian paradigm and the Kantian transcendental Ideea function in similar ways. Both serve as an orientation for scientific research, they make rules possible, and constitute nature in a weak, indirect, way. The relation between Ideea and understanding in the first „Critique” parallels in many ways the kuhnian relation between paradigm and normal science. (shrink)

Nella storia della metafisica è stato un grande problema come chiarire l’idea della coincidentia oppositorum (la coincidenza degli opposti) di Cusano, il quale è riconosciuto comunque da Cassirer come il primo epistemologo del pensiero moderno, in particolare come colui che ha saputo conquistare l’infinito alla mente umana. Dopo alcuni secoli, ha avuto una grande importanza una idea simile a quella di Cusano, la dialettica di Hegel, la quale aggiunge una negazione ad una prima frase negata per ottenere una sintesi in (...) termini generali. Ma poi queste idee sono state sempre meno seguite, eccetto che nel XX secolo da un filosofo non accademico, Lanza del Vasto che ha criticato Hegel e si è ricondotto a Cusano. Nello scritto esamino questa tematica mediante gli strumenti recentemente forniti dalla logica matematica, già verificati sugli scritti di altri scienziati; essi sono capaci di distinguere con precisione che cosa, negli scritti di uno studioso, è un passaggio logico formale e che cosa è una semplice illazione, derivata dalla conoscenza comune o dalla sua creatività; e se è un passaggio logico, decidere di che tipo di logica è. Per mezzo di questo metodo formale, i) presento alcune caratteristiche del ragionare di Cusano; ii) critico il metodo di Hegel; il risultato si accorda con la analisi critica di Hegel che Lanza del Vasto ha compiuto in maniera intuitva; iii) dimostro che la relazione tra Cusano e Lanza del Vasto è più forte di quanto dichiara quest’ultimo; iv) suggerisco una spiegazione della coincidentia oppositorum, chiarendo che la novità di ragionare in logica non classica è stata così innovativa che il tentativo di Cusano di precisarne il metodo è risultato in una scorciatoia, non errata ma valida solo in alcune situazioni; mentre è stato deviante il tentativo di Hegel; Lanza del Vasto, che ha portato un contributo al metodo di Cusano, si è comunque reso conto che occorreva arrivare a formalizzare un nuovo tipo di logica, che oggi risulta essere quella non classica. In definitiva, occorre attribuire a Cusano il merito di aver suggerito una nuova maniera di razionalità logica, quella capace di ragionare in logica non classica e di averne dato, sia pure in maniera imprecisa ed oscura, una prima formalizzazione. (shrink)

According to the transcendental Aesthetic of the Critique of pure reason, there are two properties of time that cannot be intellectualized: passage and infinitude. This study tries to show that these essential properties of time come to light in Kant’s Critique of Judgment. The contemplation of beauty will be understood as a non-successive time and the wonder that we experience in seeing the sublime will be understood through Kant’s concept of infinite moment. These two aesthetic concepts of time will be (...) integrated into Kant’s broader view of time as developed in the first Critique. (shrink)

In this paper I argue for the following two related claims. First, the science of phoronomy from Kant's Metaphysical Foundations of Natural Science is grounded in the duplication of space. Second, this duplication is made possible through the self-localization of the subject, as Kant shows in the "Gegnden-Schrift". The thesis of this paper is that the self-localization transforms space into an object that can be cinematically moved and that this action sets the ground for a science of phoronomy, which presupposes (...) the existence of at least two spaces. In the end, the other endpoint of the Kantian determination of space is discussed, namely space understood as an idea of reason. (shrink)

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where (...) expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations. (shrink)

The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...) two of Cusanus’ short writings shows that throughout his life he substantially improved his use of this kind of logic and ultimately was able to reason consistently within such a logic and recognize some of its basic laws. One important idea developed by him was that of a proposition composed of a triple repetition of “not-other” expressing “the Tri-unity of concordance” i.e. the “best name for the Trinity”. I complete his application of intuitionist logic to theological subjects by charac￾terizing the inner relationships within the Trinity in such a way that there are no longer contradictions in the notion. Generally speaking, the notion of the Trin￾ity implies a translation from intuitionist to classical logic, to which Cusanus closely approximated. Moreover, I show that the main aspects of Christian rev￾elation, including Christ’s teachings, are represented both by this translation and by some doubly negated propositions of intuitionist logic. Hence, intuition￾ist logic was introduced into the history of Western theological thinking with Christian revelation, as only Cusanus partly recognized. Appendix 1 summa￾rizes a detailed analysis of Cusanus’ second short writing. Appendix 2 shows that the Athanasian creed regarding the Christian Trinity is a consistent se￾quence of intuitionist propositions provided that some verbal emendations are added, showing that ancient trinitarian thinking was also close to intuitionist reasoning. (shrink)

Cohen’s “Logic of Pure Knowledge” marks a transformation of transcendental philosophy through its new and radical interpretation of pure thinking. For Cohen, thought is in its essence creative and needs no external elements in order to produce knowledge. This study is an attempt to reconstruct the way in which Cohen understands how thinking can create its pure content from nothing. My thesis is that Kant’s distinction between the determinable and the determining I offers the theoretical context in which the productivity (...) of thinking in Cohen’s system can be understood. Thinking creates its pure content by questioning the nothing that stands before it. (shrink)

This addendum presents results that confound some commonly made claims about the sorts of environments in which the performance of TTB exceeds that of Franklin's rule, and vice versa.

The latest news from our planet is threatening: climate change, pollution, forest loss, species extinctions. All these words are frightening and there is no sign of improvement. Simple logic leads to the conclusion that humanity has to react, for its own survival. But at the scale of a human being, it is less obvious. Organizing one’s daily life in order to preserve the environment implies self-questioning, changing habits, sacrificing some comfort. In one word, it is an effort. Then, what justifies (...) such an effort? The personal choice to act in order to preserve our environment is often made by simple altruism. This choice is based on our love for other human beings: our love for the others grounds our effort. Our moral values, our ethical reflections and our religious beliefs are the deep core of these choices. “This is my commandment, that you love one another as I have loved you.” (John 15.12 NRSV). This Charter shows the moral and religious values that can help us react regarding the current environmental crisis and it should empower us to transcend the ideas of effort and sacrifice in order to consider the respect of the shared house, in a prophetic fulfillment of the being. (shrink)

Physics tells us that the world that we live in is “really” composed of vast numbers of tiny particles, defined and individuated by their mass, charge, velocity and position. That is all there is, the rest being empty space. In contrast the world that we interact with in our every day lives is composed of rooms with windows, people and cats, and plates filled with milk and cornflakes. It is a world of individual objects and stuffs, most of which can (...) be effortlessly identified and labelled as being of a particular kind. Like an illustration in a child’s reader, we could look around our environment and attach labels to all of the objects and kinds of things around us. (shrink)

This paper provides a philosophically informed and robust account of the global justice implications of Artificial Intelligence (AI). We first discuss some of the key theories of global justice, before justifying our focus on the Capabilities Approach as a useful framework for understanding the context-specific impacts of AI on lowto middle-income countries. We then highlight some of the harms and burdens facing low- to middle-income countries within the context of both AI use and the AI supply chain, by analyzing the (...) extraction of materials, which includes mineral extraction and the environmental harms associated with it, and the extraction of labor, which includes unethical labor practices, low wages, and the trauma experienced by some AI workers. We then outline some of the potential harms and benefits that AI poses, how these are distributed, and what global justice implications this has for low- to middle-income countries. Finally, we articulate the global justice significance of AI by utilizing the Capabilities Approach. We argue that AI must be considered from a global justice perspective given that, globally, AI puts significant downward pressure on several elements of well-being thereby making it harder for people to achieve threshold levels of the central human capabilities needed for a life of dignity. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

In this article, seven strategies for dealing with cross-cultural ethical conflict are described. Conflict situations are classified on the basis of centrality and consensus on the values involved, influence of the decision maker, and urgency. A contingency model suggests appropriate strategies for different situations. The model is applied to representative cases of cross-cultural ethical conflict.

Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through doubly negated propositions and (...) ad absurdum arguments. Then, the final doubly negated predicate is translated in the corresponding affirmative one, from which all the consequences are deduced in order to test them against reality. According to this model the true formalization of intuitionist logic is Kolmogorov’s 1932 paper. The above analysis also shows that modal words play an auxiliary or substitutive role to intuitionist propositions. In addition, it is shown that Vasiliev’s paraconsistent logic is represented through doubly negated propositions. By means of these three kinds of logic one can attribute a specific kind of logic to each of the three distinct steps of the process of building a scientific theory from the experimental data to its final theoretical system. It is also shown that the definition of negation is of a structural kind, rather than of an objective kind or a subjective kind: it has to be referred to the organization of the theory to which it belongs. (shrink)

The main algebraic foundations of quantum mechanics are quickly reviewed. They have been suggested since the birth of this theory till up to last years. They are the following ones: Heisenberg-Born- Jordan’s (1925), Weyl’s (1928), Dirac’s (1930), von Neumann’s (1936), Segal’s (1947), T.F. Jordan’s (1986), Morchio and Strocchi’s (2009) and Buchholz and Fregenhagen’s (2019). Four cases are stressed: 1) the misinterpretation of Dirac’s algebraic foundation; 2) von Neumann’s ‘conversion’ from the analytic approach of Hilbert space to the algebraic approach of (...) the rings of operators; 3) Morchio and Strocchi’s improving Dirac’s analogy between commutators and Poisson Brackets into an exact equivalence; 4) the recent foundation of quantum mechanics upon the algebra of perturbations. Some considerations on alternating theoretical importance of the algebraic approach in the history of QM are offered. The level of formalism has increased from the mere introduction of matrices to group theory and C*-algebras but has not led to a definition of the foundations of physics; in particular, an algebraic formulation of QM organized as a problem-based theory and an exclusive use of constructive mathematics is still to be discovered. (shrink)

Descartes holds that when you perceive something with perfect clarity, you are compelled to assent and cannot doubt. (This is a psychological claim.) Many commentators read him as endorsing Psychologism, according to which this compulsion is a matter of brute psychological force. I show that, in Descartes’s view, perfect clarity provides a reason for assent—indeed a perfect reason, which precludes any reason for doubt. (This is a normative claim.) Furthermore, advancing a view I call Rational Force, he holds that the (...) normative claim explains the psychological one: since your will is naturally responsive to reasons, you are compelled to assent because you have a perfect reason to assent. This coheres with his view that will is essentially active, self-determined, and free. The force that clarity exerts on the will is not the brute push of an efficient cause, but the rational pull of a final cause. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like many (...) other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)